Functions Definable by Arithmetic Circuits
نویسندگان
چکیده
An arithmetic circuit (McKenzie and Wagner [6]) is a labelled, directed graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this paper, we consider the definability of functions by means of arithmetic circuits. We prove two negative results: the first shows, roughly, that a function is not circuit-definable if it has an infinite range and sub-linear growth; the second shows, roughly, that a function is not circuit-definable if it has a finite range and fails to converge on certain ‘sparse’ chains under inclusion. We observe that various functions of interest fall under these descriptions.
منابع مشابه
Functions Definable by Numerical Set-Expressions
A numerical set-expression is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of additive circuits. If they are confined to the usual Boolean operations together with the result of lifting ...
متن کاملBounded Arithmetic and Constant Depth Frege Proofs
We discuss the Paris-Wilkie translation from bounded arithmetic proofs to bounded depth propositional proofs in both relativized and non-relativized forms. We describe normal forms for proofs in bounded arithmetic, and a definition of Σ -depth for PK-proofs that makes the translation from bounded arithmetic to propositional logic particularly transparent. Using this, we give new proofs of the w...
متن کاملOptimization of Quantum Cellular Automata Circuits by Genetic Algorithm
Quantum cellular automata (QCA) enables performing arithmetic and logic operations at the molecular scale. This nanotechnology promises high device density, low power consumption and high computational power. Unlike the CMOS technology where the ON and OFF states of the transistors represent binary information, in QCA, data is represented by the charge configuration. The primary and basic devic...
متن کاملSpace and circuit complexity of monadic second-order definable problemes on tree-decomposable structures
A famous theorem of Courcelle states that every problem that is definable in monadic second-order (mso) logic can be solved in linear time on input structures of bounded tree width. While Courcelle’s result is optimal from the algorithmic point of view, this thesis shows how to solve monadic secondorder definable decision, counting, and optimization problems on tree-widthbounded structures opti...
متن کاملAdmissible closures of polynomial time computable arithmetic
We propose two admissible closures A(PTCA) and A(PHCA) of Ferreira’s system PTCA of polynomial time computable arithmetic and of full bounded arithmetic (or polynomial hierarchy computable arithmetic) PHCA. The main results obtained are: (i) A(PTCA) is conservative over PTCA with respect to ∀∃Σ1 sentences, and (ii) A(PHCA) is conservative over full bounded arithmetic PHCA for ∀∃Σ∞ sentences. Th...
متن کامل